|
1.
|
Set theory, logic and their limitations
by Machover, Moshe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 511.3 MAC] (1).
|
|
2.
|
Set theory and its logic
by Quine, William V. Edition: Revised ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Belknap Press, 1969Availability: Items available for loan: [Call number: 512.817 QUI] (1).
|
|
3.
|
Proof, logic, and conjecture : the mathematician's toolbox
by Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
|
|
4.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
5.
|
Fundamentals of mathematics : introduction to proofs, logic, sets, and numbers
by Schroder, Bernd S. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2010Availability: Items available for loan: [Call number: 510 SCH] (1).
|
|
6.
|
Set theory and the continuum hypothesis
by Cohen, Paul J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mineola: Dover Publications, 2008Availability: Items available for loan: [Call number: 511.322 COH] (1).
|
|
7.
|
Logic, sets, and recursion
by Causey, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 511.3 CAU] (1).
|
|
8.
|
Foundations of logic and mathematics: Applications to computer science and cryptography
by Nievergelt, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
|
|
9.
|
Appalachian set theory : 2006-2012
by Cummings, James | Schimmerling, Ernest. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.3 CUM] (1).
|
|
10.
|
Roads to infinity : the mathematics of truth and proof
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 2010Availability: Items available for loan: [Call number: 511.322 STI] (1).
|
|
11.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2010Availability: Items available for loan: [Call number: 511.3 MEN] (1).
|
|
12.
|
Infinity and the mind : the science and philosophy of the infinite
by Rucker, Rudy Von B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2007Availability: Items available for loan: [Call number: 111.6 RUC] (1).
|
|
13.
|
Higher-order logic and type theory
by Bell, John L. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 511.3 BEL] (1).
|
|
14.
|
Introduction to mathematics : number, space, and structure
by Taylor, Scott A. Publisher: Providence : American Mathematical Society, 2023Availability: No items available Checked out (1).
|